(* re2ocaml $INPUT -o $OUTPUT *)

/*!re2c
    re2c:unsafe = 0; // disabling unsupported option is also an error
    re2c:unsafe = 1;
*/
